functor F (A:sig end) =
struct
end
